21. An object-oriented approach to programming logic and design
پدیدآورنده : Farrell, Joyce
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Logic programming,، Logic design
رده :
QA
76
.
63
.
F3O2
22. App inventor for Android
پدیدآورنده : / Jason Tyler
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Android (Electronic resource), Amateurs' manuals,Application software, Development, Amateurs' manuals,Smartphones, Programming, Amateurs' manuals,Open source software, Amateurs' manuals,Mobile computing, Amateurs' manuals
رده :
QA76
.
76
.
A65
,
T95
2011
23. Application and theory of Petri nets :
پدیدآورنده : edited by Claude Girault and Woflgang Reisig.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : fiabilité,Petri nets -- Congresses.,protocole accès.
24. Application and theory of Petri nets :
پدیدآورنده : edited by Claude Girault and Woflgang Reisig.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : fiabilité,Petri nets -- Congresses.,protocole accès.
رده :
QA267
.
E358
1982
25. Applications and Science in Soft Computing
پدیدآورنده : edited by Ahamad Lotfi, Jonathan M. Garibaldi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Decision making.,Operations research.
26. Architectural design of multi-agent systems :
پدیدآورنده : Hong Lin [editor].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer architecture.,Electronic data processing-- Distributed processing.,Intelligent agents (Computer software),Computer architecture.,Electronic data processing-- Distributed processing.,Intelligent agents (Computer software)
رده :
QA76
.
76
.
I58
A72
2007
27. Architectural design of multi-agent systems
پدیدآورنده : / Hong Lin [editor]
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Intelligent agents (Computer software),Electronic data processing- Distributed processing,Computer architecture
رده :
QA76
.
76
.
I58
,
A72
2007
28. Architectural design of multi-agent systems :technologies and techniques
پدیدآورنده : Hong Lin ]editor[
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Intelligent agents )Computer software(,Distributed processing ، Electronic data processing,، Computer architecture
رده :
QA
76
.
76
.
I58
A72
2007
29. Artificial Intelligence:
پدیدآورنده : edited by Christoph Bussler, Dieter Fensel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Information storage and retrieval systems.,Information systems.
30. Artificial Intelligence in Higher Education :
پدیدآورنده : by Vladimir Marik, Olga Stepankova, Zdenek Zdrahal.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
رده :
Q335
.
7
B985
1990
31. Artificial intelligence applications in chemistry :
پدیدآورنده : Thomas H. Pierce, Bruce A. Hohne, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Chemistry-- Data processing, Congresses.,Artificial Intelligence.,Chemistry.,Expert Systems.
رده :
QD39
.
3
.
E46
A78
1986
32. Artificial intelligence for big data :
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Big data.,Business logistics-- Data processing.,Big data.,Business logistics-- Data processing.,COMPUTERS-- Databases-- Data Warehousing.
رده :
QA76
.
9
.
B45
.
D474
2018eb
33. Artificial neural nets and genetic algorithms proceedings of the international conference in Portorož, Slovenia, 1999
پدیدآورنده : [ICANNGA '99, International Conference on Artifical Neutral Networks and Genetic Algorithms]. Andrej Dobnikar ...
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
34. Artificial neural nets and genetic algorithms proceedings of the international conference in Portorož, Slovenia, 1999
پدیدآورنده : [ICANNGA '99, International Conference on Artifical Neutral Networks and Genetic Algorithms]. Andrej Dobnikar ...
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
35. Asynchronous sequential machine design and analysis
پدیدآورنده : / Richard F. Tinder
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Asynchronous circuits, Mathematical models,Sequential circuits, Mathematical models,Sequential machine theory, Mathematical models,Asynchronous,Sequential,Sequencers,Logic,Machines,Digital,Self-timed,Arbiters
رده :
E-BOOK
36. Audel electrical trades pocket manual /
پدیدآورنده : L.W. Brittian.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Electric industries-- Vocational guidance, Handbooks, manuals, etc.,Electrical engineering-- Vocational guidance, Handbooks, manuals, etc.,Electrical engineering.,Engineering.,TECHNOLOGY & ENGINEERING-- Construction-- Electrical.
رده :
TK159
.
B75
2012
37. Automata, Languages and Programming :
پدیدآورنده : edited by Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Rocca.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer software.,Logic design.
38. Automata, languages and programming :
پدیدآورنده : J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Machine theory -- Congresses.,Machine theory.
رده :
QA267
.
J543
1991
39. Automated Theory Formation in Pure Mathematics
پدیدآورنده : by Simon Colton.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
رده :
QA8
.
4
B975
2002
40. Automated technology for verification and analysis :
پدیدآورنده : Tevfik Bultan, Pao-Ann Hsiung (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2011
